Logic Without Assumptions (1947)
نویسندگان
چکیده
This article is a corrected reprint of K. R. Popper (1947b). Logic without Assumptions. In: Proceedings the Aristotelian Society 47, pp. 251–292.
منابع مشابه
Group Signatures Without q-Assumptions
The notion of group signatures was introduced to allow group members to sign anonymously on behalf of a group. A group manager allows a user to join a group, and another will be able to open a signature to revoke its anonymity. Several schemes have already been proposed to fulfil these properties, however very few of them are proven in the standard model. Of those proven in the standard model, ...
متن کاملOblivious RAMs without Cryptographic Assumptions
We show that oblivious on-line simulation with only polylogarithmic increase in the time and space requirements is possible on a probabilistic (coin flipping) RAM without using any cryptographic assumptions. The simulation will fail with a negligible probability. If n memory locations are used, then the probability of failure is at most n− logn. Pippenger and Fischer has shown in 1979, see [11]...
متن کاملFinance without Probabilistic Prior Assumptions
We develop the fundamental theorem of asset pricing in a probability– free infinite–dimensional setup. We replace the usual assumption of a prior probability by a certain continuity property in the state variable. Probabilities enter then endogenously as full support martingale measures (instead of equivalent martingale measures). A variant of the Harrison–Kreps–Theorem on viability and no arbi...
متن کاملLandauer Formula without Landauer’s Assumptions
The Landauer formula for dissipationless conductance lies at the heart of modern electronic transport, yet it remains without a clear microscopic basis. We analyze the Landauer formula microscopically, and give a straightforward quantum kinetic derivation for open systems. Some important experimental implications follow. These lie beyond the Landauer result as popularly received. In 1957 Rolf L...
متن کاملSubdiierential Calculus without Qualiication Assumptions
Some classical formulas of convex subdiierential calculus in a general Banach space are presented without any qualiication condition, but in a limiting form. Classical formulas are recovered when a qualiication condition such as the Attouch-Br ezis condition is assumed. Several decades after the blossoming of convex analysis, the subject of subdiierential calculus rule is still very active (see...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Trends in logic
سال: 2022
ISSN: ['1572-6126', '2212-7313']
DOI: https://doi.org/10.1007/978-3-030-94926-6_2